面向快速响应产品的星上目标定位及识别方法

针对遥感卫星星上目标的定位及识别，本文面向快速响应应用需求，首先对星上目标定位及识别工作模式进行研究，总结出狭义和广义两种模式，其次重点对像方-物方坐标双向定位算法进行梳理，并针对典型地物目标星上自动识别算法提出研究思路，最后给出算法的应用方法流程。本文研究为快速响应产品星上智能处理提供方法参考。     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

利用热源温度场迭加法诊断持续点热源的强度及位置

可重复使用运载器的防热瓦故障会使航天器的局部结构产牛热源，并在结构中形成温度场。应用热源温度场迭加法的解函数，解得结构温度历程，然后据此温度的变化率趋势判断出热源位置，在此基础上依据多点测最值构造出辨识参数用于热强度识别，通过对一薄壁结构模型算例的计算仿真，证明了本文所提方法的有效性。论文工作为进一步开展热源诊断技术研究，提供了可资工程实践应用的数值算法体系以及有益的数值计算结论。     

全位置自动焊管机TIG焊电源研制

本文介绍了一种适用于管－管、管－板对接的全位置自动TIG焊晶体管电源，该电源采用可编程控制器控制，具有直流／脉冲功能，焊接参数在4个区间内可分别预测，试验表明，该电源区间过渡时电弧稳定，抗干扰能力强，焊缝均匀、连接。     

ADI-FDTD在激励源和完纯导体边界处的精确格式

证明了当采用交替方向隐式时域有限差分法(AD I-FDTD)计算时,完纯导体和激励源处的算法格式与无源空间的算法格式不同,并推导了AD I-FDTD算法在源和完纯导体所在网格处的精确格式。利用常规的FDTD、无源空间的AD I-FDTD以及在源和导体处采用精确格式的AD I-FDTD,分别计算了点源激励的在自由空间传播的二维TE波、TM波垂直入射于金属条带FSS的散射场。计算结果表明,如果计算域中包含导体或激励源,直接采用通常的AD I-FDTD格式会带来很大的计算误差,而采用该精确格式后,计算结果与FDTD的计算结果吻合,从而证明了本文导出的AD I-FDTD在导体和激励源处的精确格式的正确性和使用的必要性。     

黑板框架的知识表达方法

本文介绍了黑板框架知识表达方法的设计思想和技术。黑板框架是由框架、知识源和黑板模型组成,是产生式规则、谓词、框架等多种知识表达功能的组合形式,它将知识表达和知识处理结合成一体,既能表达静态的知识,又能表达动态的知识;既能方便地表达断言性知识,又能自然地表达结构性知识。表达功能强、灵活性大;方便知识调度,加快推理速度,提高推理效率;方便知识获取并有利于机器学习。 黑板框架是一种能表达特定领域复杂知识结构的良好的方法,具有表达充分、推理充分、推理效率和获取效率高的特点。 文中还对目前各种知识表达方法进行了评价,对黑板模型、知识源、黑板框架的概念进行了描述,并对黑板框架给出了严格的BNF定义。 黑板框架的知识表达方法,已在医学专家系统开发工具BFBEST中获得了成功的应用,并取得满意的效果。     

液体推进剂泄漏应急处理

提出液体推进剂泄漏事故的应急处理措施，包括人员疏散、隔离区划分、受伤和中毒人员救治，抢救人员个人安全防护以及其他控制险情的方法。     

Geometric reasoning under uncertainty for map-based localization

Map-based navigation in outdoor terrain lacking man-made structures or other highly distinctive landmarks can produce severe localization problems. This paper presents an approach to navigation which implements high level geometric reasoning and matching strategies based on those used by skilled human navigators. This approach, which is demonstrated on a real example involving imagery of mountainous terrain obtained with a video camera and USGS map data, is designed to avoid many of the pitfalls occurring when an attempt is made to navigate by modeling the environment mathematically. It exploits feature attributes which cannot be easily expressed quantitatively but are central to the successful human navigation process.     

宇航科学文献情报源初析

本文通过对《宇航学报》1981～1988年322篇论文中2466条参考文献的统计分析,得出以下结论,(a)宇航科学的文献情报源重在期刊类文献。(b)以《宇航学报》、《航空学报》、《AIAA,Jourual》等六种期刊类文献为重点文献。(c)中文的引文作者和论文作者相对集中。(d)期刊类文献的半衰期为8～10年。     

Real time localization of gamma ray bursts with INTEGRAL

The INTEGRAL satellite has been successfully launched in October 2002 and has recently started its operational phase. The INTEGRAL burst alert system (IBAS) will distribute in real time the coordinates of the gamma ray bursts (GRBs) detected with INTEGRAL. After a brief introduction on the INTEGRAL instruments, we describe the main IBAS characteristics and report on the initial results. During the initial performance and verification phase of the INTEGRAL mission, which lasted about two months, two GRBs have been localized with accuracy of 2–4 arcmin. These observations have allowed us to validate the IBAS software, which is now expected to provide quick (few seconds delay) and precise (few arcmin) localization for 10–15 GRBs per year.